ramanujan summation proof